1. Advances in Software EngineeringInternational Conference on Advanced Software Engineering and Its Applications, ASEA 2009, held as part of the Future Generation Information Technology Conference, FGIT 2009, Jeju Island, Korea, December 10-12, 2009: proceedings
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : Congresses ، Software engineering,Congresses ، Computer software-- Development
رده :
QA
76
.
758
.
I5694
2009
2. Advances in software engineering techniques
پدیدآورنده : Tomasz Szmuc, Marcin Szpyrka, Jaroslav Zendulka (eds.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer software-- Development, Congresses,Software engineering, Congresses
رده :
QA76
.
758
.
I35
2009eb
3. Balancing agility and formalism in software engineerin
پدیدآورنده : / Bertrand Meyer, Jerzy R. Nawrocki, Bartosz Walter (eds.)
کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)
موضوع : Software engineering--Congresses,Computer software--Development--Congresses
4. Balancing agility and formalism in software engineering
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Software engineering ; Congresses. ; Computer software ; Development ; Congresses. ;
5. Component-based software engineering
پدیدآورنده : / George T. Heineman ... [et al.] (eds.)
کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)
موضوع : Software engineering--Congresses,Computer software--Development--Congresses,Component-based software engineering,CBSE
رده :
QA
,
76
.
758
,.
C39
,
2005
6. Component-based software engineering : 8th International Symposium, CBSE 2005, St. Louis, Mo, USA, May 14-15, 2005 : proceedings
پدیدآورنده : George T. Heineman ... ]et al.[ )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Software engineering,Congresses ، Computer software -- Development
رده :
QA
76
.
L28
Vol
.
3489
7. Component-based software engineering : 7th international symposium, CBSE 2004, Edinburgh, UK, May 24-25, 2004 : proceedings
پدیدآورنده : Ivica Crnkovic....]et al.[ )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Software engineering,Congresses ، Computer software -- Development
رده :
QA
76
.
L28
Vol
.
3054
8. FM 2012
پدیدآورنده : Dimitra Giannakopoulou, Dominique Méry (eds.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer software-- Development, Congresses,Formal methods (Computer science), Congresses,Software engineering, Congresses
رده :
QA76
.
76
.
D47
I593
2012eb
9. First IEEE International Conference Conference ]sic[ on Formal Engineering Methods: proceedings, Hiroshima, Japan, November 12-14, 1997
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : Congresses ، Engineering-- Methodology,Congresses ، Computer software-- Development
رده :
TA
5
.
I415
1997
10. Formal methods and software engineering :
پدیدآورنده : Jing Sun, Meng Sun (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Formal methods (Computer science), Congresses.,Software engineering, Congresses.,Computer programming-- software development.,Computers-- Expert Systems.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Expert systems-- knowledge-based systems.,Formal methods (Computer science),Information technology: general issues.,Mathematical theory of computation.,Mathematics-- Logic.,Software engineering.,Software Engineering.,Systems analysis & design.
رده :
QA76
.
9
.
F67
11. Formal methods for multicore programming
پدیدآورنده : \ Marco Bernardo , Einar Broch Johnsen (Eds.)
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Computer software -- Development -- Congresses.,Formal methods (Computer science) -- Congresses.,Software engineering.,نرم‌افزار -- تولید -- کنگره ها ,روش‌های صوری (کامپیوتر) -- کنگره ها
رده :
QA
76
.
76
.
F6
2015
E-Book
,
12. Foundations of computer software
پدیدآورنده : Radu Calinescu, Ethan Jackson (eds.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer software-- Development, Congresses,Computer software-- Verification, Congresses,Software engineering, Congresses
رده :
QA76
.
76
.
D47
M66
2011
13. Foundations of computer software : modeling, development, and verification of adaptive systems, 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010 : revised selected papers
پدیدآورنده :
کتابخانه: Library of Razi Metallurgical Research Center (Tehran)
موضوع : Development -- Congresses ، Computer software,Verification -- Congresses ، Computer software,Congresses ، Software engineering
رده :
QA
76
.
76
.
D47
.
M666
2011
14. Fundamental approaches to software engineering :
پدیدآورنده : Alessandra Russo, Andy Schürr (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Software engineering, Congresses.,Computer science.,Computers / Software Development & Engineering.,Software engineering.
رده :
QA76
.
758
.
F37
2018eb
15. Fundamental approaches to software engineering
پدیدآورنده : Juan de Lara, Andrea Zisman (eds.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer software-- Development, Congresses,Computer software-- Verification, Congresses,Software engineering, Congresses
رده :
QA76
.
758
.
F44
2012eb
16. Intelligent Software Methodologies, Tools and Techniques
پدیدآورنده : \ [edited by] Hamido Fujita, Ali Selamat.
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Software engineering -- Congresses.,Computer software -- Development -- Congresses.,Artificial intelligence -- Congresses.,نرم‌افزار -- مهندسی-- کنگره‌ها ,نرم‌افزار -- تولید -- کنگره ها ,هوش مصنوعی-- کنگره‌ها
رده :
QA
76
.
758
.
I5
2015
E-Book
,
17. Intelligent Software Methodologies, Tools and Techniques
پدیدآورنده : [Edited by] Hamido Fujita, Guido Guizzi
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Software engineering -- Congresses.,Computer software -- Development -- Congresses.,نرم‌افزار -- مهندسی-- کنگره‌ها ,نرم‌افزار -- تولید -- کنگره ها
رده :
TK
5105
.
5
.
I5
2015
E-Book
,
18. Mathematical Foundations of Software Development TAPSOFT : Proceedings of the International Joint Conference on Theory and Practice of Software Development )TAPSOFT(, Berlin, March 25-29, 1985
پدیدآورنده : Edited by Harmut Ehrig...]et al.[
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Mathematics -- Congresses ، Computer software -- Development,Congresses ، Software engineering,Data proceesing -- Congresses ، Trees )Graph theory(,Congresses ، Algebra,Congresses ، Computer programming
رده :
QA
76
.
L28
Vol
.
185-186
19. Model driven architecture : foundations and applications : first European conference, ECMDA-FA 2005, Nuremberg, Germany, November 2005 : proceedings
پدیدآورنده : Alan Hartman, David Kreische )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer architecture,Congresses ، Computer software -- Development,Congresses ، Software engineering
رده :
QA
76
.
L28
Vol
.
3748
20. Modelling foundations and applications
پدیدآورنده : / Thomas Keuhne ... [et al.] (eds.)
کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)
موضوع : Computer software--Development--Congresses,Computer architecture--Congresses,Software engineering--Congresses,Object-oriented programming (Computer science)--Congresses,Conception assistaee par ordinateur en gaenie logiciel--Congr?es.--ram,Modellgetriebene Entwicklung--swd,Modelltransformation--swd,Metamodell--swd,Entwurfssprache--swd,Anwendungssystem--swd,Paris <2010>--swd
رده :
QA
,
76
.
76
,.
D47
,
E762
,
2010
